substitution axiom

[网络] 替换公理;代换公理;替代的